Testing the data freshness properties of asynchronous communication mechanisms
نویسندگان
چکیده
1 Abstract Data freshness properties of asynchronous communication mechanisms (ACMs) are related to the relative timing of reader and writer statements. When a hardware implementation of an ACM is tested at the highest operating speed, such relative timing is difficult to measure if the observing hardware is not constructed of faster technology than the ACM. Here an indirect method is proposed whereby the data freshness properties of any ACM hardware may be inferred from data sequencing information.
منابع مشابه
Quantitative investigation of certain properties of slot mechanisms
The slot asynchronous communication mechanisms (ACMs) have been studied in qualitative detail in their main properties data coherence and data freshness. Certain other properties have so far been regarded as inevitable consequences of synchronisation-free data communications via shared memory and not studied. In this paper, possible methods and techniques for the investigation of these proper...
متن کاملTesting a Self-Timed Asynchronous Communication Mechanism (ACM) VLSI Chip
A testing method and on-chip testing circuits for our VLSI chip of asynchronous communication mechanism (ACM) using self-timed circuits are presented in this paper. The three properties of ACMs, asynchrony, coherence and freshness, are what we want to test. Besides these, the general function of the chip and data loss are also of interest. Although this work is a specific solution for a specifi...
متن کاملComplementing role models with Petri nets in studying asynchronous data communications
Simpson’s role model method was designed for the analysis of synchronisation-free data communication mechanisms employing shared memory and has been shown to be especially useful for the representation and analyses of data freshness properties. Previously published analyses using the role model method have employed proprietary state space search techniques developed by Simpson. In this paper, a...
متن کاملComplementing the role model method with Petri net techniques in studying issues of data freshness of the four-slot mechanism
Simpson’s role model method [7, 8] was designed for the analysis of synchronisationfree data communication mechanisms employing shared memory and has been shown to be especially useful for the representation and analyses of data freshness properties. Previously published analyses using the role model method have employed proprietary state space search techniques developed by Simpson. In this re...
متن کاملUsing Lightweight Theorem Proving in an Asynchronous Systems Context
As part of the development of a new real-time operating system, an asynchronous communication mechanism, for use between applications, has been implemented in a programming language with an advanced static type system. This mechanism is designed to provide desired properties of asynchronicity, coherency and freshness. We used the features of the type system, including linear and dependent types...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999